(set-logic ALL)
(set-info :status unsat)
(declare-fun A () (Table Int Int Int))
(declare-fun B () (Table Int Int Int))
(declare-fun x () (Tuple Int Int Int))
(assert (= x (tuple 1 2 3)))
(declare-fun y () (Tuple Int Int Int))
(assert (= y (tuple 3 2 1)))
(declare-fun z () (Tuple Int Int Int Int Int Int))
(assert (= z (tuple 1 2 3 3 2 1)))
(assert (bag.member x A))
(assert (bag.member y B))
(assert (not (bag.member z (table.product A B))))
(check-sat)
